Constraint Satisfaction in Distributed Concurrent Logic Programming
نویسندگان
چکیده
منابع مشابه
Constraint Satisfaction Using Constraint Logic Programming
Van Hentenryck, P., H. Simonis and M. Dincbas, Constraint satisfaction using constraint logic programming, Artificial Intelligence 58 (1992) 113-159. Constraint logic programming (CLP) is a new class of declarative programming languages whose primitive operations are based on constraints (e.g. constraint solving and constraint entailment). CLP languages naturally combine constraint propagation ...
متن کاملFrom Concurrent Logic Programming to Concurrent Constraint Programming
The endeavor to extend logic programming to a language suitable for concurrent systems has stimulated in the last decade an intensive research, resulting in a large variety of proposals. A common feature of the various approaches is the attempt to deene mechanisms for concurrency within the logical paradigm, the driving ideal being the balance between expressiveness and declarative reading. In ...
متن کاملDistributed Concurrent Linear Logic Programming
We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation: locationdependence/independence of names and movement of computation. We rst de ne the syntax and semantics of a modal linear logic that is suitable for expressing distributed computation, and then show that there is a close relationship betwe...
متن کاملConcurrent Constraint Programming and Non-commutative Logic
This paper presents a connection between the intuitionis-tic fragment of a non-commutative version of linear logic introduced by the rst author (NLI) and concurrent constraint programming (CC). We reene existing logical characterizations of operational aspects of CC, by providing a logical interpretation of ner observable properties of CC programs, namely stores, successes and suspensions.
متن کاملConcurrent constraint programming and linear logic
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1996
ISSN: 0747-7171
DOI: 10.1006/jsco.1996.0037